Results for 'Mª José Martos-Méndez'

986 found
Order:
  1.  13
    Relation Between Social Support Received and Provided by Parents of Children, Adolescents and Young Adults With Cancer and Stress Levels and Life and Family Satisfaction.Anabel Melguizo-Garín, José Martos-Méndez, Isabel Hombrados-Mendieta & Iván Ruiz-Rodríguez - 2022 - Frontiers in Psychology 13:728733.
    IntroductionThe present study aims at analysing how social support received and provided by parents of children, adolescents and young adults (AYA) diagnosed with cancer, as well as their sociodemographic and clinical variables, affect those parents’ stress levels and life and family satisfaction.Materials and MethodsA total of 112 parents of children and AYAs who had been diagnosed with cancer and who received treatment in Malaga participated in the study. In the study, participated all parents who voluntarily agreed to fulfil the questionnaire. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  14
    Positive Influences of Social Support on Sense of Community, Life Satisfaction and the Health of Immigrants in Spain.Isabel Hombrados-Mendieta, Mario Millán-Franco, Luis Gómez-Jacinto, Felipe Gonzalez-Castro, María José Martos-Méndez & Alba García-Cid - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  18
    The Importance of Social Support, Optimism and Resilience on the Quality of Life of Cancer Patients.Iván Ruiz-Rodríguez, Isabel Hombrados-Mendieta, Anabel Melguizo-Garín & María José Martos-Méndez - 2022 - Frontiers in Psychology 13.
    IntroductionThe aim of the present study is to carry out a multidimensional analysis on the relation between satisfaction with social support received, resilience and optimism in cancer patients and their quality of life.Materials and MethodsData were gathered through questionnaires fulfilled by 142 cancer patients. Data relate to sociodemographic, health, quality of life, social support, resilience and optimism.ResultsSatisfaction with the sources and types of support, resilience and optimism relates positively with quality of life. Predictive models show that informational support from friends (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  28
    Modelling the hypnotic patient response in general anaesthesia using intelligent models.Esteban Jove, Jose M. Gonzalez-Cava, José-Luis Casteleiro-Roca, Juan-Albino Méndez-Pérez, José Antonio Reboso-Morales, Francisco Javier Pérez-Castelo, Francisco Javier de Cos Juez & José Luis Calvo-Rolle - 2019 - Logic Journal of the IGPL 27 (2):189-201.
  5.  20
    A Novel Fuzzy Algorithm to Introduce New Variables in the Drug Supply Decision-Making Process in Medicine.Jose M. Gonzalez-Cava, José Antonio Reboso, José Luis Casteleiro-Roca, José Luis Calvo-Rolle & Juan Albino Méndez Pérez - 2018 - Complexity 2018:1-15.
    One of the main challenges in medicine is to guarantee an appropriate drug supply according to the real needs of patients. Closed-loop strategies have been widely used to develop automatic solutions based on feedback variables. However, when the variable of interest cannot be directly measured or there is a lack of knowledge behind the process, it turns into a difficult issue to solve. In this research, a novel algorithm to approach this problem is presented. The main objective of this study (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  21
    Machine learning techniques for computer-based decision systems in the operating theatre: application to analgesia delivery.Jose M. Gonzalez-Cava, Rafael Arnay, Juan Albino Mendez-Perez, Ana León, María Martín, Jose A. Reboso, Esteban Jove-Perez & Jose Luis Calvo-Rolle - 2021 - Logic Journal of the IGPL 29 (2):236-250.
    This work focuses on the application of machine learning techniques to assist the clinicians in the administration of analgesic drug during general anaesthesia. Specifically, the main objective is to propose the basis of an intelligent system capable of making decisions to guide the opioid dose changes based on a new nociception monitor, the analgesia nociception index. Clinical data were obtained from 15 patients undergoing cholecystectomy surgery. By means of an off-line study, machine learning techniques were applied to analyse the possible (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  14
    Test Anxiety in Adolescent Students: Different Responses According to the Components of Anxiety as a Function of Sociodemographic and Academic Variables.Rosa Torrano, Juan M. Ortigosa, Antonio Riquelme, Francisco J. Méndez & José A. López-Pina - 2020 - Frontiers in Psychology 11.
    ObjectiveTest anxiety (TA) is a construct that has scarcely been studied based on Lang’s three-dimensional model of anxiety. The objective of this article is to investigate the repercussion of sociodemographic and academic variables on different responses for each component of anxiety and for the type of test in adolescent students.MethodA total of 1181 students from 12 to 18 years old (M= 14.7 and SD = 1.8) participated, of whom 569 were boys (48.2%) and 612 girls (51.8%). A sociodemographic questionnaire and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Tjeerd B. Jongeling, Teun Koetsier & Evert Wattel, a logical approach to qualitative reasoning with'several'... 15.Vladimir Markin, Dmitry Zaitsev, Imaginary Logic, Lloyd Humberstone, Implicational Converses, Jose M. Mendez, Francisco Salto, Pedro Mendez, Roger Vergauwen & Ray Lam - 2002 - Logique Et Analyse 45:1.
     
    Export citation  
     
    Bookmark  
  9. A natural negation completion of Urquhart's many-valued logic C.José M. Mendez & Francisco Salto - 1998 - Journal of Philosophical Logic 27 (1):75-84.
    Etude de l'extension par la negation semi-intuitionniste de la logique positive des propositions appelee logique C, developpee par A. Urquhart afin de definir une semantique relationnelle valable pour la logique des valeurs infinies de Lukasiewicz (Lw). Evitant les axiomes de contraction et de reduction propres a la logique classique de Dummett, l'A. propose une semantique de type Routley-Meyer pour le systeme d'Urquhart (CI) en tant que celle-la ne fournit que des theories consistantes pour la completude de celui-ci.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  14
    Curry’s Paradox, Generalized Contraction Rule and Depth Relevance.Francisco Salto, Gemma Robles & José M. Méndez - 2018 - In Konstantinos Boudouris (ed.), Proceedings XXIII world Congress Philosophy. Charlottesville: Philosophy Documentation Center. pp. 35-39.
    As it is well known, in the forties of the past century, Curry proved that in any logic S closed under Modus Ponens, uniform substitution of propositional variables and the Contraction Law, the naïve Comprehension axiom trivializes S in the sense that all propositions are derivable in S plus CA. Not less known is the fact that, ever since Curry published his proof, theses and rules weaker than W have been shown to cause the same effect as W causes. Among (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  35
    Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom.José M. Méndez & Francisco Salto - 1995 - Notre Dame Journal of Formal Logic 36 (3):407-413.
    This paper offers a particular intuitionistic negation completion of Urquhart's system C resulting in a super-intuitionistic contractionless propositional logic equivalent to Dummett's LC without contraction.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12. Minimal Negation in the Ternary Relational Semantics.Gemma Robles, José M. Méndez & Francisco Salto - 2005 - Reports on Mathematical Logic 39:47-65.
    Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Thus, by defining a number of subminimal negations in the B+ context, principles of weak negation are shown to be isolable. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames) without extending the positive logic. Complete semantics for such kinds of reductio in a properly extended positive logic are offered.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. From What Age Is Mental Rotation Training Effective? Differences in Preschool Age but Not in Sex.Laura M. Fernández-Méndez, María José Contreras & M. Rosa Elosúa - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Four kinds of subminimal negation within the context of the basic positive logic b+ Jose M. Mendez, francisco Salto and Pedro Mendez R.Jose M. Mendez - 2002 - Logique Et Analyse 45 (178):119-128.
     
    Export citation  
     
    Bookmark  
  15.  43
    A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes.José M. Méndez & Gemma Robles - 2015 - Logica Universalis 9 (4):501-522.
    The aim of this paper is to introduce an alternative to Łukasiewicz’s 4-valued modal logic Ł. As it is known, Ł is afflicted by “Łukasiewicz type paradoxes”. The logic we define, PŁ4, is a strong paraconsistent and paracomplete 4-valued modal logic free from this type of paradoxes. PŁ4 is determined by the degree of truth-preserving consequence relation defined on the ordered set of values of a modification of the matrix MŁ characteristic for the logic Ł. On the other hand, PŁ4 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  16.  30
    Ticket Entailment plus the mingle axiom has the variable-sharing property.José M. Méndez, Gemma Robles & Francisco Salto - 2012 - Logic Journal of the IGPL 20 (1):355-364.
    The logic TM is the result of adding the mingle axiom, M to Ticket Entailment logic, T. In the present study, it is proved that TM has the variable-sharing property . Ternary relational semantics for TM is provided. Finally, an interesting extension of TM with the vsp is briefly discussed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  17. Adding the Disjunctive Syllogism to Relevant Logics Including TW Plus the Contraction and Reductio Rules.Jose M. Mendez, Gemma Robles & Francisco Salto - 2011 - Logique Et Analyse 54 (215):343-358.
  18.  22
    1. Select list of representative theses.José M. Mendez - 1988 - Bulletin of the Section of Logic 17 (1):15-20.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  47
    An Interpretation of Łukasiewicz’s 4-Valued Modal Logic.José M. Méndez, Gemma Robles & Francisco Salto - 2016 - Journal of Philosophical Logic 45 (1):73-87.
    A simple, bivalent semantics is defined for Łukasiewicz’s 4-valued modal logic Łm4. It is shown that according to this semantics, the essential presupposition underlying Łm4 is the following: A is a theorem iff A is true conforming to both the reductionist and possibilist theses defined as follows: rt: the value of modal formulas is equivalent to the value of their respective argument iff A is true, etc.); pt: everything is possible. This presupposition highlights and explains all oddities arising in Łm4.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  20.  45
    The compatibility of relevance and Mingle.José M. Méndez - 1988 - Journal of Philosophical Logic 17 (3):279 - 297.
  21.  22
    Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values.Gemma Robles & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (1):37-63.
    ABSTRACTA conditional is natural if it fulfils the three following conditions. It coincides with the classical conditional when restricted to the classical values T and F; it satisfies the Modus Ponens; and it is assigned a designated value whenever the value assigned to its antecedent is less than or equal to the value assigned to its consequent. The aim of this paper is to provide a ‘bivalent’ Belnap-Dunn semantics for all natural implicative expansions of Kleene's strong 3-valued matrix with two (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  22.  52
    A General Characterization of the Variable-Sharing Property by Means of Logical Matrices.Gemma Robles & José M. Méndez - 2012 - Notre Dame Journal of Formal Logic 53 (2):223-244.
    As is well known, the variable-sharing property (vsp) is, according to Anderson and Belnap, a necessary property of any relevant logic. In this paper, we shall consider two versions of the vsp, what we label the "weak vsp" (wvsp) and the "strong vsp" (svsp). In addition, the "no loose pieces property," a property related to the wvsp and the svsp, will be defined. Each one of these properties shall generally be characterized by means of a class of logical matrices. In (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  23.  49
    Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.José M. Méndez & Gemma Robles - 2016 - Journal of Logic, Language and Information 25 (2):163-189.
    Łukasiewicz presented two different analyses of modal notions by means of many-valued logics: the linearly ordered systems Ł3,..., Open image in new window,..., \; the 4-valued logic Ł he defined in the last years of his career. Unfortunately, all these systems contain “Łukasiewicz type paradoxes”. On the other hand, Brady’s 4-valued logic BN4 is the basic 4-valued bilattice logic. The aim of this paper is to show that BN4 can be strengthened with modal operators following Łukasiewicz’s strategy for defining truth-functional (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  33
    The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic.José M. Méndez & Gemma Robles - 2016 - Journal of Applied Non-Classical Logics 26 (1):47-68.
    The aim of this paper is to define the logical system Sm4 characterised by the degree of truth-preserving consequence relation defined on the ordered set of values of Smiley’s four-element matrix MSm4. The matrix MSm4 has been of considerable importance in the development of relevant logics and it is at the origin of bilattice logics. It will be shown that Sm4 is a most interesting paraconsistent logic which encloses a sound theory of logical necessity similar to that of Anderson and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  16
    A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic.Gemma Robles & José M. Méndez - 2022 - Logic Journal of the IGPL 30 (1):21-33.
    A classical result by Słupecki states that a logic L is functionally complete for the 3-element set of truth-values THREE if, in addition to functionally including Łukasiewicz’s 3-valued logic Ł3, what he names the ‘$T$-function’ is definable in L. By leaning upon this classical result, we prove a general theorem for defining binary expansions of Kleene’s strong logic that are functionally complete for THREE.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  43
    A Routley-Meyer semantics for converse Ackermann property.José M. Méndez - 1987 - Journal of Philosophical Logic 16 (1):65 - 76.
  27.  15
    A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4.Gemma Robles & José M. Méndez - forthcoming - Logic Journal of the IGPL.
    The logic E4 is related to Brady’s BN4 in a similar way to which Anderson and Belnap’s logic of entailment E is related to their logic of the relevant implication R. In ‘A companion to Brady’s 4-valued relevant logic: the 4-valued logic of entailment E4’, quoted in this paper, three alternatives to BN4 and another three to E4 are summarily introduced in a couple of pages as the only alternatives containing Routley and Meyer’s basic logic B, provided some conditions are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  43
    Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation.José M. Méndez & Gemma Robles - 2007 - Logic and Logical Philosophy 15 (3):175-191.
    The logic B+ is Routley and Meyer’s basic positive logic. We define the logics BK+ and BK'+ by adding to B+ the K rule and to BK+ the characteristic S4 axiom, respectively. These logics are endowed with a relatively strong non-constructive negation. We prove that all the logics defined lack the K axiom and the standard paradoxes of consistency.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  20
    A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4.Gemma Robles & José M. Méndez - 2016 - Logic Journal of the IGPL 24 (5).
  30.  25
    Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value.Gemma Robles, Francisco Salto & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (3):307-325.
    This paper is a sequel to ‘Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values’, where a ‘bivalent’ Belnap-Dunn semantics is provided for all the expansions referred to in its title. The aim of the present paper is to carry out a parallel investigation for all natural implicative expansions of Kleene's strong 3-valued matrix now with only one designated value.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31. A Routley-Meyer semantics for Ackermann's logics of “strenge implication”.José M. Méndez - 2009 - Logic and Logical Philosophy 18 (3-4):191-219.
    The aim of this paper is to provide a Routley-Meyer semantics for Ackermann’s logics of “strenge Implikation” Π ′ and Π ′′ . Besides the Disjunctive Syllogism, this semantics validates the rules Necessitation and Assertion. Strong completeness theorems for Π ′ and Π ′′ are proved. A brief discussion on Π ′ , Π ′′ and paraconsistency is included.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  95
    A Routley-Meyer type semantics for relevant logics including B r plus the disjunctive syllogism.Gemma Robles & José M. Méndez - 2010 - Journal of Philosophical Logic 39 (2):139-158.
    Routley-Meyer type ternary relational semantics are defined for relevant logics including Routley and Meyer’s basic logic B plus the reductio rule and the disjunctive syllogism. Standard relevant logics such as E and R (plus γ ) and Ackermann’s logics of ‘strenge Implikation’ Π and Π ′ are among the logics considered.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  33.  38
    Converse Ackermann croperty and semiclassical negation.José M. Méndez - 1988 - Studia Logica 47 (2):159 - 168.
    A prepositional logic S has the Converse Ackermann Property (CAP) if (AB)C is unprovable in S when C does not contain . In A Routley-Meyer semantics for Converse Ackermann Property (Journal of Philosophical Logic, 16 (1987), pp. 65–76) I showed how to derive positive logical systems with the CAP. There I conjectured that each of these positive systems were compatible with a so-called semiclassical negation. In the present paper I prove that this conjecture was right. Relational Routley-Meyer type semantics are (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  78
    Curry’s Paradox, Generalized Modus Ponens Axiom and Depth Relevance.Gemma Robles & José M. Méndez - 2014 - Studia Logica 102 (1):185-217.
    “Weak relevant model structures” (wr-ms) are defined on “weak relevant matrices” by generalizing Brady’s model structure ${\mathcal{M}_{\rm CL}}$ built upon Meyer’s Crystal matrix CL. It is shown how to falsify in any wr-ms the Generalized Modus Ponens axiom and similar schemes used to derive Curry’s Paradox. In the last section of the paper we discuss how to extend this method of falsification to more general schemes that could also be used in deriving Curry’s Paradox.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  35.  35
    Routley-Meyer ternary relational semantics for intuitionistic-type negations.Gemma Robles & José M. Méndez - 2018 - London, United Kingdom: Elsevier, Academic Press. Edited by José M. Méndez.
    Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations examines how to introduce intuitionistic-type negations into RM-semantics. RM-semantics is highly malleable and capable of modeling families of logics which are very different from each other. This semantics was introduced in the early 1970s, and was devised for interpreting relevance logics. In RM-semantics, negation is interpreted by means of the Routley operator, which has been almost exclusively used for modeling De Morgan negations. This book provides research on particular features of intuitionistic-type of negations (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  36.  16
    Blocking the Routes to Triviality with Depth Relevance.Gemma Robles & José M. Méndez - 2014 - Journal of Logic, Language and Information 23 (4):493-526.
    In Rogerson and Restall’s, the “class of implication formulas known to trivialize ” is recorded. The aim of this paper is to show how to invalidate any member in this class by using “weak relevant model structures”. Weak relevant model structures verify deep relevant logics only.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  37.  9
    Crítica de libros.José M. Sánchez Fernández & Saravia Méndez - 2015 - Isegoría 52:385-426.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  37
    Editorial: Anxiety Disorders in Childhood and Adolescence: Psychopathology, Assessment, and Treatment.Francisco J. Méndez, Mireia Orgilés, José P. Espada, José M. García-Fernández & Cecilia A. Essau - 2022 - Frontiers in Psychology 13.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  16
    The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łkasiewicz’s 3-Valued Logic Ł3.Gemma Robles & José M. Méndez - 2020 - Journal of Logic, Language and Information 29 (3):349-374.
    We consider the logics determined by the set of all natural implicative expansions of Kleene’s strong 3-valued matrix and select the class of all logics functionally equivalent to Łukasiewicz’s 3-valued logic Ł3. The concept of a “natural implicative matrix” is based upon the notion of a “natural conditional” defined in Tomova.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  40.  66
    A note on "Recent work in relevant logic".José M. Méndez - manuscript
    In his paper “Recent work in relevant logic”, Jago includes a section on Disjunctive Syllogism . The content of the section essentially consists of (a) a valuation of some work by Robles and Méndez on the topic as “not particularly interesting in itself”; (b) a statement establishing that “What would be interesting is to discover just how weak a relevant logic needs to be before disjunctive syllogism becomes inadmissible”. The main problem with this section of Jago’s paper on DS (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism.Gemma Robles & José M. Méndez - 2011 - Logic Journal of the IGPL 19 (1):18-32.
    We provide Routley-Meyer type semantics for relevant logics including Contractionless Ticket Entailment TW (without the truth constant t and o) plus reductio R and Ackermann’s rule γ (i.e., disjunctive syllogism). These logics have the following properties. (i) All have the variable sharing property; some of them have, in addition, the Ackermann Property. (ii) They are stable. (iii) Inconsistent theories built upon these logics are not necessarily trivial.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  42. A constructive negation for logics including TW.Gemma Robles—José M. Méndez - 2005 - Journal of Applied Non-Classical Logics 15 (4).
  43.  33
    Axiomatizing E→ and R→ with Anderson and Belnap's 'strong and natural'list of valid entailments.José M. Méndez - 1987 - Bulletin of the Section of Logic 16 (1):2-7.
    We provide all possible axiomatizations with independent axioms of E→ and R→ formulable with Anderson and Belnap’s list.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  13
    Customer Experience and Satisfaction in Private Insurance Web Areas.M. Dolores Méndez-Aparicio, Ana Jiménez-Zarco, Alicia Izquierdo-Yusta & Juan Jose Blazquez-Resino - 2020 - Frontiers in Psychology 11:581659.
    Digital transformation has allowed to offer additional services - which complement the main product - both in terms of use, emotional and relationship terms. Focused on a traditionally rational insurance customer offering a value that explores the customer's emotions, from co-creating with the user, allows brand differentiation. Given this idea, this document has three purposes. First, identify the role of expectations and the perceived quality of the customer's digital experience. Secondly, to identify the relationship between experience and satisfaction gained in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  35
    Constructive R.José M. Méndez - 1987 - Bulletin of the Section of Logic 16 (4):167-173.
    Let R+ be the positive fragment of Anderson and Belnap’s Logic of Relevance, R. And let RMO+ be the result of adding the Mingle principle ) to R+. We have shown in [2] that either a minimal negation or else a semiclassical one can be added to RMO+ preserving the variable-sharing property. Moreover, each of there systems is given a semantics in the Routley-Meyer style. In describing in [2] the models for RMO+ plus minimal negation, we noted that a similar (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  32
    Exhaustively axiomatizing RMO with an appropiate extension of Anderson and Belnap's “strong and natural list of valid entailments”.José M. Méndez - 1990 - Theoria 5 (1):223-228.
    RMO -> is the result of adding the ‘mingle principle’ (viz. A-> (A -> A)) to Anderson and Belnap’s implicative logic of relevance R->. The aim of this paper is to provide all possible axiomatizations with independent axioms of RMO -> formulable with Anderson and Belnap’s list extended with three characteristic minglish principles.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  11
    Exhaustively axiomatizing RMO with an appropiate extension of Anderson and Belnap’s “strong and natural list of valid entailments”.José M. Méndez - 1990 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 5 (1-2):223-228.
    RMO -> is the result of adding the ‘mingle principle’ ) to Anderson and Belnap’s implicative logic of relevance R->. The aim of this paper is to provide all possible axiomatizations with independent axioms of RMO -> formulable with Anderson and Belnap’s list extended with three characteristic minglish principles.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  43
    El sistema bp+ : Una lógica positiva mínima para la negación mínima (the system bp+: A minimal positive logic for minimal negation).José M. Méndez, Francisco Salto & Gemma Robles - 2007 - Theoria 22 (1):81-91.
    Entendemos el concepto de “negación mínima” en el sentido clásico definido por Johansson. El propósito de este artículo es definir la lógica positiva mínima Bp+, y probar que la negación mínima puede introducirse en ella. Además, comentaremos algunas de las múltiples extensiones negativas de Bp+.“Minimal negation” is classically understood in a Johansson sense. The aim of this paper is to define the minimal positive logic Bp+ and prove that a minimal negation can be inroduced in it. In addition, some of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  25
    El sistema Bp+ : una lógica positiva mínima para la negación mínima (The system Bp+: a minimal positive logic for minimal negation).José M. Méndez, Francisco Salto & Gemma Robles - 2007 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (1):81-91.
    Entendemos el concepto de “negación mínima” en el sentido clásico definido por Johansson. El propósito de este artículo es definir la lógica positiva mínima Bp+, y probar que la negación mínima puede introducirse en ella. Además, comentaremos algunas de las múltiples extensiones negativas de Bp+.“Minimal negation” is classically understood in a Johansson sense. The aim of this paper is to define the minimal positive logic Bp+ and prove that a minimal negation can be inroduced in it. In addition, some of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  38
    Relevance logics and intuitionistic negation.José M. Méndez & Gemma Robles - 2008 - Journal of Applied Non-Classical Logics 18 (1):49-65.
    The logic B+ is Routley and Meyer's basic positive logic. We show how to introduce a minimal intuitionistic negation and an intuitionistic negation in B+. The two types of negation are introduced in a wide spectrum of relevance logics built up from B+. It is proved that although all these logics have the characteristic paradoxes of consistency, they lack the K rule (and so, the K axioms).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 986